# -*- mode: snippet -*-
# name: Set Decidable Equality Schemes
# --
Set Decidable Equality Schemes
